church-rosser theorem
Church-Rosser 定理
热门查询
- thinner adj. 较薄的；较瘦的；较细的（thin的比较级） n. （油漆的）稀释剂；冲淡剂；使变稀薄者，加稀料的制漆工
- prioress n. 小女修道院院长；大女修道院副院长
- decapitate vt. 斩首；解雇；使无效
- passim adv. 各处；到处；遍及
- replacement n. 更换；复位；代替者；补充兵员
- myth n. 神话；虚构的人，虚构的事
- annoy n. 烦恼（等于annoyance） vt. 骚扰；惹恼；打搅 vi. 惹恼；令人讨厌；打搅
- pasha n. 巴夏（旧指土耳其古代对大官的尊称） n. (Pasha)人名；(阿拉伯、伊朗、巴基、印尼、乌克)帕夏 (参见 Pasa)；(塞)帕沙
- witchcraft n. 巫术；魔法
- downwardly 向下
- Corinthian n. 科林斯式；科林斯人；花花公子；业余运动家 adj. 科林斯的；科林斯人的；科林斯柱式的
- consideration n. 考虑；原因；关心；报酬
- ungraspable 不可理解的
- envelop n. 信封；包裹 vt. 包围；包封；遮盖
- reify vt. 使具体化；使人为物
- cock n. 公鸡；龙头；雄鸟；头目 vt. 使竖起；使耸立；使朝上 vi. 翘起；竖起；大摇大摆 n. (Cock)人名；(英、西、瑞典)科克
- weeny adj. 微小的，极小的
- unexpectedly adv. 出乎意料地，意外地
- bounden adj. 本分的; 不可推卸
- collected v. 收集；聚集（collect的过去式） adj. 镇定的；收集成的
考试词汇表
